Thomas Müller

Results: 71



#Item
21Chromatography / Laboratory techniques / Mass spectrometry / Separation processes / Chemical pathology / Solid phase extraction / Forensic toxicology / Gas chromatography–mass spectrometry / Hydrophilic interaction chromatography / Chemistry / Science / Scientific method

TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD

Add to Reading List

Source URL: www.tiaft.org

Language: English - Date: 2014-10-29 19:21:29
22Evolutionary biology / Guggenheim Fellows / Hermann Joseph Muller / Radiobiology / Joshua Lederberg / Mutagenesis / Population genetics / Thomas Hunt Morgan / Gene / Biology / Genetics / Science

Essays of an Information Scientist: Of Nobel Class, Women in Science, Citation Classics, and other Essays, Vol:15, p.19, [removed]Current Contents, #7, p.3-11, February 17, 1992 Current Comments@ EUGENE GARFIELD INSTITUTE

Add to Reading List

Source URL: www.garfield.library.upenn.edu

Language: English - Date: 1999-09-30 15:57:57
23Mathematics / Ω-automaton / Finite-state machine / Alphabet / Sequence / Muller automaton / Infinite tree automaton / Automata theory / Theoretical computer science / Computer science

Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-01-20 11:11:33
24Chromatography / Gas chromatography–mass spectrometry / Liquid chromatography–mass spectrometry / Forensic toxicology / High-performance liquid chromatography / Quadrupole mass analyzer / Electrospray ionization / Structural elucidation / Tandem mass spectrometry / Chemistry / Laboratory techniques / Mass spectrometry

TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD

Add to Reading List

Source URL: www.tiaft.org

Language: English - Date: 2014-10-29 19:21:07
25Chromatography / Measuring instruments / Separation processes / Chemical pathology / Analytical chemistry / Calibration curve / Gas chromatography / Mass spectrometry / Ultraviolet–visible spectroscopy / Chemistry / Scientific method / Science

TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD

Add to Reading List

Source URL: www.tiaft.org

Language: English - Date: 2014-10-29 19:21:01
26Ω-automaton / Büchi automaton / Tree automaton / Star height / Alternating finite automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-08-07 05:31:08
27Ω-automaton / Nondeterministic finite automaton / Muller automaton / Finite-state machine / Alternating finite automaton / Sequence / Powerset construction / Automata theory / Theoretical computer science / Computer science

Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 10:55:56
28Chemistry / Physical quantities / Thermodynamics / Metrology / Temperature / Conductivity / Calibration curve / Thermometer / Calibration / Measurement / Physics / Sensors

WHP Operations and Methods – November[removed]Improving NBIS MK IIIB Measurements Thomas J. Müller and Jürgen Holfort Institut für Meereskunde[removed]Kiel, Germany

Add to Reading List

Source URL: cchdo.ucsd.edu

Language: English - Date: 2015-01-30 18:36:59
29Football in Germany / Thomas Müller / Association football / Sports

SPORTS PATH WORLD CUP TECHNICAL REPORT[removed]www.sportspath.com 1

Add to Reading List

Source URL: sportspath.typepad.com

Language: English - Date: 2014-08-07 13:29:01
30Ω-automaton / Büchi automaton / Tree automaton / Star height / Alternating finite automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-07-10 12:10:51
UPDATE